лежащий в основе - Übersetzung nach Englisch
![<center>''[[Софийский собор (Константинополь)]]:'' купол на парусах. В парусах — мозаики с изображением шестикрылых серафимов. За центральной аркой следующий свод — конха (полукупол), в свою очередь, имеющая три меньшие конхи</center>](https://commons.wikimedia.org/wiki/Special:FilePath/Ayasofya-Innenansicht.jpg?width=200 "<center>''[[Софийский собор (Константинополь)]]:'' купол на парусах. В парусах — мозаики с изображением шестикрылых серафимов. За центральной аркой следующий свод — конха (полукупол), в свою очередь, имеющая три меньшие конхи</center>")
![Маяковская]]» представляет собой ряд ячеек, перекрытых вариантом купола на парусах</center>](https://commons.wikimedia.org/wiki/Special:FilePath/Mayakovskaya after renewing 2010.jpg?width=200 "Маяковская]]» представляет собой ряд ячеек, перекрытых вариантом купола на парусах</center>")
![колонны]], балки — [[архитрав]]ы</center>](https://commons.wikimedia.org/wiki/Special:FilePath/Paestum BW 2013-05-17 13-58-28.jpg?width=200 "колонны]], балки — [[архитрав]]ы</center>")
![часовни Королевского колледжа в Кембридже]], Англия.</center>](https://commons.wikimedia.org/wiki/Special:FilePath/Peterborough Retrochoir fan vaulting.JPG?width=200 "часовни Королевского колледжа в Кембридже]], Англия.</center>")
![<center>''Арочная система перекрытий''. Гардский мост ([[Пон-дю-Гар]]) — древнеримский [[акведук]] I в. н.э. в районе [[Ним]]а, [[Франция]]: нагрузка распределяется не смыкающимися под прямым углом балками и стойками, а полуциркульными арками</center>](https://commons.wikimedia.org/wiki/Special:FilePath/Pont Du Gard.JPG?width=200 "<center>''Арочная система перекрытий''. Гардский мост ([[Пон-дю-Гар]]) — древнеримский [[акведук]] I в. н.э. в районе [[Ним]]а, [[Франция]]: нагрузка распределяется не смыкающимися под прямым углом балками и стойками, а полуциркульными арками</center>")
![<center>'''''[[Альгамбра]]''': разрушенный декоративный цилиндрический свод даёт возможность увидеть, как он опирается на стены''](https://commons.wikimedia.org/wiki/Special:FilePath/Ruined vault, alhambra.jpg?width=200 "<center>'''''[[Альгамбра]]''': разрушенный декоративный цилиндрический свод даёт возможность увидеть, как он опирается на стены''")
![пчелиных сот]] ([[гексагон]]ов), исламская архитектура Испании</center>](https://commons.wikimedia.org/wiki/Special:FilePath/SalonDeEmbajadoresRAS.jpg?width=200 "пчелиных сот]] ([[гексагон]]ов), исламская архитектура Испании</center>")
arch, vault, code
Definition
Wikipedia
Тестирование на основе модели (англ. Model-based testing) — это тестирование программного обеспечения, в котором варианты тестирования (англ. test cases) частично или целиком получаются из модели, описывающей некоторые аспекты (чаще функциональные) тестируемой системы (англ. system under test). Модели могут отображать желаемое поведение системы или использоваться для создания тестовых стратегий или среды тестирования.
Модель, описывающая тестируемый объект, как правило, абстрактная и описывает лишь часть функциональности объекта. Тесты, сгенерированные из подобных моделей, тоже абстрактны и не могут напрямую использоваться для тестирования объекта. На основе сценариев абстрактных тестов необходимо выполнить их реализацию для тестируемого объекта. Такую реализацию можно использовать для непосредственного тестирования. В некоторых средах для моделирования модели могут содержать достаточное количество информации для генерации исполняемых тестов.
Поскольку модели обычно строятся на основе требований или ожидаемого поведения устройства, то такое тестирование обычно рассматривается как одна из форм тестирования по методу черного ящика.
